๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”„ Reproducible Builds

Build Systems, Software Supply Chain, Deterministic Compilation, Verification

Reproducible Go Toolchains: What You Need to Know
hackernoon.comยท3d
โš™๏ธBuild Archaeology
Analysing Snapshot Isolation
muratbuffalo.blogspot.comยท7hยท
Discuss: Hacker News
๐ŸŒณPersistent Data Structures
Talk Highlights: Documenting the Design of the Linux Kernel โ€“ Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.techยท6h
๐Ÿ“œProof Carrying Code
The new Dependabot NuGet updater: 65% faster with native .NET
devblogs.microsoft.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Dependency Resolution
Why you should rethink legacy and consider Event-Driven Architecture
blog.scottlogic.comยท2h
๐Ÿ”ŒInterface Evolution
NetBSD New build cluster speeds up daily autobuilds
blog.netbsd.orgยท1dยท
Discuss: Lobsters, Hacker News
โš™๏ธBuild Archaeology
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.orgยท9h
๐Ÿ“ŠStatic Analysis
We enforce .NET codingstandards to improve productivity
anthonysimmon.comยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Building brittle software
blog.kronis.devยท1d
โ„๏ธNix Flakes
The Amaranth hardware description language
amaranth-lang.orgยท9hยท
Discuss: Hacker News
๐Ÿ”FPGA Verification
Introduction to Microservices
thenewstack.ioยท13h
๐ŸŒŠStreaming Systems
Detection Engineering: Practicing Detection-as-Code โ€“ Validation โ€“ Part 3
blog.nviso.euยท1d
โœ…Archive Validation
Case study: enhancing SBOMs with cdsbom at the Linux Foundation
opensource.orgยท23h
๐Ÿ”“Open Source Software
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.toยท23hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Gotta Go Fast: Jobs, Emails and Cache with Rails
blog.codeminer42.comยท19h
๐Ÿ”„Sync Engine
Predictive CI: Why Smart Teams Are Making the Switch
usetusk.aiยท1dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
How To Review Code
endler.devยท13h
๐Ÿ“Code Metrics
We're shipping to ARM64 and x64 without duplicating pipelines
caepe.shยท1dยท
Discuss: Hacker News
โ„๏ธNix Adoption
How the Lean language brings math to coding and coding to math
amazon.scienceยท18hยท
Discuss: Hacker News
๐Ÿ”ฌLean
Week 31 Status
blogs.gnome.orgยท1d
๐ŸŽฏGradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap